algorithmic programs造句

developing correct and efficient algorithmic programs has become a key topic in the computer science community
为了更好地解决这两个至关重要的问题，par方法应运而生。
formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。
herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
本文提出的基于算法框架的软件设计及分析复用技术是利用薛锦云教授提出的par方法，对算法程序进行形式化推导，得到其抽象算法。
par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，提出了一种实用的开发和证明算法的方法??par。
It's difficult to find algorithmic programs in a sentence. 用algorithmic programs造句挺难的